Wednesday, May 13 08:00-09:00 Registration 09:00-09:30

Source URL: rcis2015.hua.gr

• Software engineering
• Engineering
• Computing
• Scientific modeling
• Process management
• Enterprise modelling
• Systems engineering
• Enterprise architecture
• Business process modeling
• Colette Rolland
• Modeling language
• Requirements elicitation

From L3 to seL4: What Have We Learnt in 20 Years of L4 Microkernels? Kevin Elphinstone, Gernot Heiser NICTA and University of New South Wales

Source URL: sigops.org

• Computer architecture
• Software
• Computing
• L4 microkernel family
• Gernot Heiser
• Open Kernel Labs
• Microkernel
• L3 microkernel
• Heiser
• Kernel
• Symposium on Operating Systems Principles
• Mach

FreeBSD Foundation March 2016 Update

Source URL: www.freebsdfoundation.org

• Software
• Computing
• Computer architecture
• FreeBSD
• Disk file systems
• RAID
• Berkeley Software Distribution
• ZFS
• DTrace
• Busdma
• Comparison of BSD operating systems

Impossibility of Distributed Consensus with One Faulty Process MICHAEL J. FISCHER

Source URL: www.cs.princeton.edu

• Computing
• Electrical engineering
• Engineering
• Fault-tolerant computer systems
• Distributed computing
• Network architecture
• Consensus
• ACM SIGACT
• Asynchronous system

OctoberARCS 2012 Call for Papers The 2012 International Conference on Architecture of Computing Systems (ARCS) will take place on 28 February to 2 March in Munich. This year’s conference will focus on

Source URL: ieee-ceda.org

An Ontology for Executable Business Processes J¨ org Nitzsche, Daniel Wutke, and Tammo van Lessen Institute of Architecture of Application Systems University of Stuttgart Universitaetsstrasse 38, 70569 Stuttgart, German

Source URL: ceur-ws.org

Zen of Palm Designing Products for Palm OS ® CONTRIBUTORS Revised by Mark Dugger

Source URL: www.uxforthemasses.com

• Computer architecture
• Computing
• Software
• Portable media players
• Palm OS
• Palm
• Access Systems Americas
• Personal digital assistant
• Handheld game console
• CLI
• Palm Tungsten

Architecture, interaction, systems by Usman Haque, ©2006 www.haque.co.uk First developed for an article in AU: Arquitetura & Urbanismo, AU 149 August 2006, Brazil. Please do not reproduce without permission. "I go up",

Source URL: haque.co.uk

• Humancomputer interaction
• Human communication
• Gordon Pask
• Interpersonal communication
• Interactivity
• Cognitive science
• Design
• Sonic interaction design

Tolerating File-System Mistakes with EnvyFS Lakshmi N. Bairavasundaram† , Swaminathan Sundararaman, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau Computer Sciences Department, University of Wisconsin-Madison Abstr

Source URL: research.cs.wisc.edu

• Computer architecture
• System software
• Disk file systems
• Data management
• Inode
• Ext3
• File system
• Ext2
• JFS
• XFS
• Btrfs
• ReiserFS

The Raft Consensus Algorithm and Implementing Raft in C++ Diego Ongaro, August 2015 Replicated State Machines Typical architecture for consensus systems

Source URL: raft.github.io